$\forall$$T$:Type, ${\it as}$:$T$ List. agree\_on\_common($T$;${\it as}$;nil) $\Leftrightarrow$ True